Functional calculus - PDFSEARCH.IO - Document Search Engine

Functional calculus
Results: 647

#	Item
181	Hindley-Milner Elaboration in Applicative Style Functional pearl François Pottier INRIA Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2014-06-12 04:54:36 Computing Constraint satisfaction problem Type class Lambda calculus Normalisation by evaluation Constraint inference Declarative programming Constraint programming Software engineering
182	Structure and Uncomputability in One-Dimensional Maps Add to Reading List Source URL: www.complex-systems.com Language: English - Date: 2013-03-26 14:31:28 Mathematics Functional analysis Estimation theory Holomorphic functional calculus Mathematical analysis Spectral theory Operator theory
183	Fun tional Polytypi Programming Patrik Jansson Department of Computing S ien e Chalmers University of Te hnology and G oteborg University Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2010-09-06 04:14:31 Software engineering Lambda calculus Haskell Q Rewriting Theoretical computer science Functional languages Programming language theory
184	Under consideration for publication in J. Functional Programming 1 The Arrow Calculus Sam Lindley, Philip Wadler, and Jeremy Yallop Add to Reading List Source URL: groups.inf.ed.ac.uk Language: English - Date: 2009-10-19 06:42:21 Lambda calculus Computability theory Fixed-point combinator Arrow Quiver Natural deduction Combinatory logic Theoretical computer science Mathematics Applied mathematics
185	The mLite Language Nils M Holm, 2014 mLite is a general-pur pose, functional, lightweight, dynamic programming language. It borrows ideas from both the Scheme [R4RS] and Standard ML [DEFSML] languages, taking most of its Add to Reading List Source URL: www.t3x.org Language: English - Date: 2014-11-16 10:27:37 Functional programming Lambda calculus Higher-order functions Functional languages Data types Standard ML Anonymous function Pattern matching Monad Software engineering Declarative programming Computer programming
186	SHard: a Scheme to Hardware Compiler Xavier Saint-Mleux Marc Feeley Jean-Pierre David Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2012-08-10 19:25:16 Subroutines Lambda calculus Control flow Functional programming Data types Closure Inline expansion Scheme Lambda lifting Software engineering Computing Computer programming
187	Functional Genetic Programming and Exhaustive Program Search with Combinator Expressions Forrest Briggs <> Melissa O’Neill <> August 19, 2007 Add to Reading List Source URL: www.cs.hmc.edu Language: English - Date: 2007-08-19 16:32:34 Type theory Lambda calculus Procedural programming languages Logic in computer science Theoretical computer science Combinatory logic Curry–Howard correspondence Anonymous function Expression Software engineering Programming language theory Computing
188	Well-typed programs can’t be blamed Philip Wadler Robert Bruce Findler University of Edinburgh Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2012-08-10 19:25:44 Mathematics Subtype polymorphism Type system Lambda calculus Typed lambda calculus Type safety Valuation Entailment Holomorphic functional calculus Type theory Theoretical computer science Logic
189	Haskell: A Fun, Friendly, Fantastic Functional Language Andrew Brinker Hello, Welcome to the wonderful world of Haskell. Haskell is my personal favorite programming language, and is the most exciting and interesting lang Add to Reading List Source URL: andrewbrinker.com Language: English - Date: 2015-04-21 19:13:18 Functional programming Subroutines Functional languages Type theory Lambda calculus Haskell Anonymous function Monad Pattern matching Software engineering Computer programming Computing
190	Fixing Letrec (reloaded) Abdulaziz Ghuloum R. Kent Dybvig Indiana University Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2012-08-10 19:22:06 Formal methods Theoretical computer science Functional programming Models of computation Lambda calculus Scheme Hindley–Milner Hygienic macro Expression Software engineering Computing Mathematics

UPDATE